1. Bounded variable logics and counting

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Model theory. ; Computational complexity. ;

2. Bounded variable logics and counting : a study in finite models

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Model theory,، Computational complexity

رده :
QA
9
.
A1L44
Vol
.
9

3. Finite model theory and its applications

پدیدآورنده :

کتابخانه: كتابخانه پژوهشگاه علوم و فناوری رنگ (تهران)

موضوع : Finite model theory,Computational complexity,Constraint databases

رده :
{
1648
},
06fdfb40a6eef9acf992e8ee6bc47b2a

4. Finite model theory and its applications

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Finite model theory. ; Computational complexity. ; Constraint databases. ;